#ifndef PLATFORM_DEFINES
#define PLATFORM_DEFINES

#include <stdint.h>
#include <stdbool.h>

typedef int8_t int8;
typedef uint8_t uint8;
typedef int16_t int16;
typedef uint16_t uint16;
typedef int32_t int32;
typedef uint32_t uint32;
typedef int64_t int64;
typedef uint64_t uint64;

#endif/* PLATFORM_DEFINES */



// typedef signed char  alt_8;
// typedef unsigned char  alt_u8;
// typedef signed short alt_16;
// typedef unsigned short alt_u16;
// typedef signed long alt_32;
// typedef unsigned long alt_u32;
// typedef long long alt_64;
// typedef unsigned long long alt_u64;
